4701. 4.0: Using and Extending LINQ to Objects and Parallel LINQ (PLINQ) LINQ to Objects Using C
پدیدآورنده : / Troy Magennis
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4702. Using and Understanding Java Data Objects
پدیدآورنده : by David Ezzio.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Software engineering.
4703. Using the HTML5 Filesystem API
پدیدآورنده : / Eric Bidelman
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4704. V: Insiders Guide to Microsoft's Hypervisor-Windows Server 2008 R2 Hyper
پدیدآورنده : / Kelbley
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4705. VB& VB, 4th Edition : Using C& Build Your Own ASP.NET 4 Web Site Using C
پدیدآورنده : / Posey, Timmothy
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4706. VDM'91 Formal Software Development Methods :
پدیدآورنده : edited by S. Prehn, W.J. Toetenel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
4707. VDM '90 VDM and Z -- Formal Methods in Software Development :
پدیدآورنده : edited by D. Bjørner, C.A.R. Hoare, H. Langmaack.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
4708. VE2d for Lua Game ProgrammingL
پدیدآورنده : / Mishra, Brij Bhushan
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4709. VLSI-SoC: Advanced Topics on Systems on a Chip
پدیدآورنده : edited by Paul Hasler, Vincent Mooney, Ricardo Reis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Coding theory.,Computer science.,Microprogramming.,Software engineering.
4710. VMware ThinApp 4.7 Essentials
پدیدآورنده : / rk, PeterنBj
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4711. Vagrant Virtual Development Environment Cookbook
پدیدآورنده : / Chad Thompson
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4712. Validation of Evolving Software
پدیدآورنده : / Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4713. Vector optimization with infimum and supremum
پدیدآورنده : / hneنAndreas L
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4714. Verification:
پدیدآورنده : edited by Nachum Dershowitz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2004
4715. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : / Barbara Jobstmann, K. Rustan M. Leino
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4716. Verification, Model Checking, and Abstract Interpretation :
پدیدآورنده : edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2013
4717. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : / Souza, Akash Lal, Kim Guldstrand LarsenبDeepak D
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4718. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : / Gilles Barthe, Manuel Hermenegildo
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4719. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : / Ranjit Jhala, David Schmidt
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4720. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : / Viktor Kuncak, Andrey Rybalchenko
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
